#include<stdio.h>
double v;
int main()
{
	scanf("%lf", &v);
	printf("%.2lf", v*7900000);
	return 0;
}
